$\forall$$A$, $B$:Dsys. $A$ $\subseteq$ $B$ $\Rightarrow$ ($\forall$$w$:World. PossibleWorld($B$;$w$) $\Rightarrow$ PossibleWorld($A$;$w$))